Narrow your search
Listing 1 - 10 of 32 << page
of 4
>>
Sort by

Book
Informatics and telematics in health : present and potential uses.
ISBN: 9241561173 Year: 1988 Publisher: Geneva WHO

Loading...
Export citation

Choose an application

Bookmark

Abstract


Dissertation
Automatisatie van het verpleegkundig dossier. Ontwerp van het medicatieluik

Loading...
Export citation

Choose an application

Bookmark

Abstract

Trends in theoretical computer science
Author:
ISBN: 0881750840 Year: 1988 Publisher: Rockville Computer science press

Loading...
Export citation

Choose an application

Bookmark

Abstract


Periodical
Computer science education.
Author:
ISSN: 17445175 Year: 1988 Publisher: [Lisse, the Netherlands] : [Abingdon] : Swets & Zeitlinger Pub. Taylor & Francis

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Genome analysis : a practical approach
Author:
ISBN: 1852211091 1852211105 Year: 1988 Publisher: Oxford IRL press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Methodologies used to analyse the genomes of prokaryotes and eukaryotes are advancing very rapidly as it has been realized that there is a resolution gap between what can be viewed under the microscope and what molecular techniques can resolve. This book presents current, successful strategies for construction of physical maps to identify and analyse the arrangement and function of genes. These techniques, which are applicable to a range of organisms, are being used to move from linked markers to candidate genes in several human monogenic disorders. They are presented in a way that should enable any research or diagnostic laboratory to apply them to their particular systems. Also included are descriptions of new probes and approaches for the localization of human disorders whose analysis has so far eluded the molecular geneticist.

Computer science : a modern introduction
Authors: ---
ISBN: 0131659456 Year: 1988 Publisher: Englewood Cliffs (N.J.): Prentice Hall international

Human-computer interface design
Author:
ISBN: 0333428994 1349196185 0333428986 Year: 1988 Publisher: Houndmills : Macmillan Education,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A description of the principles of and practices in human-computer interfacing, based on applied psychology, while integrating the approach with methods of software engineering. Tasks analysis, command language grammar, display and control interfaces and interface evaluation are examined.

A book on C.
Authors: --- ---
ISBN: 0333465296 1349102334 Year: 1988 Publisher: Houndmills, Basingstoke : Macmillan Education,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Revised and extended, this text covers all features of the C programming language for both the student and the professional user.

Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, August 29-September 2, 1988
Authors: --- ---
ISBN: 354050110X 038750110X 354045926X 9783540501107 9780387501109 Year: 1988 Volume: 324 Publisher: Berlin New York Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.

9th international conference on automated deduction, Argonne, May 23-26, 1988 : proceedings
Authors: ---
ISBN: 354019343X 038719343X 3540392165 Year: 1988 Volume: vol 310 Publisher: Berlin New York London Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.

Listing 1 - 10 of 32 << page
of 4
>>
Sort by